Fix 32-bit build.

diff --git a/xen/arch/x86/domctl.c b/xen/arch/x86/domctl.c
index b109fa0578e5670724dcf61f6c55967a5551e368..36b0b3b4d09936402a3f9b6851db1d649f98b664 100644 (file)
--- a/xen/arch/x86/domctl.c
+++ b/xen/arch/x86/domctl.c
@@ -9,6 +9,7 @@
 #include <xen/lib.h>
 #include <xen/mm.h>
 #include <xen/guest_access.h>
+#include <xen/compat.h>
 #include <public/domctl.h>
 #include <xen/sched.h>
 #include <xen/domain.h>